class Length(int): ...

class Inches(Length):
    def __init__(self, inches: float) -> None: ...
